Beweistheoretische Untersuchung von starken kombinatorischen Prinzipien
Projektleitung und Mitarbeiter
Gordeew, L. (Dr. rer. nat.)
Forschungsbericht :
1990-1992
Tel./ Fax.:
Projektbeschreibung
Es wurden Saetze vom Kruskal-Friedman'schen Typ mit verschiedenen
Lueckenbedingungen untersucht und ihre genaue beweistheoretische
Staerke festgestellt. Ein Theorem von Kriz wurde verschaerft. Die
Theorie der Quasiordinalzahlen wurde konstruktiv interpretiert. Ein
schnittfreier Kalkuel fuer die Logik mit drei Variablen wurde
aufgestellt.
Mittelgeber
Publikationen
Gordeev, L.: Generalizations of the Kruskal-Friedman
theorems. - J. Symb. Logic 55, 157-181 (1990).
INDEX
HOME
SUCHEN
KONTAKT
LINKS
qvf-info@uni-tuebingen.de(qvf-info@uni-tuebingen.de)
- Stand: 15.09.96
Copyright Hinweise